minios: clear the event before calling the handler since (especially
authorKeir Fraser <keir.fraser@citrix.com>
Thu, 8 May 2008 10:53:39 +0000 (11:53 +0100)
committerKeir Fraser <keir.fraser@citrix.com>
Thu, 8 May 2008 10:53:39 +0000 (11:53 +0100)
commitb585b4dfa76737c797d6a981eacc99eb54551331
tree3232d9d2bc9b2824481fd0af0814ffd192b2abc4
parentf095afd3f6e061d8cc1077442c3b2c2a32e466bb
minios: clear the event before calling the handler since (especially
in the SMP case) the handler may make another domain send an event
again, and that must not be lost.

Signed-off-by: Samuel Thibault <samuel.thibault@eu.citrix.com>
extras/mini-os/events.c